home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / esc.jar / com / extensibility / rock / Screen.class (.txt) < prev    next >
Encoding:
Java Class File  |  2000-06-30  |  1.8 KB  |  67 lines
  1. package com.extensibility.rock;
  2.  
  3. import java.awt.Component;
  4. import java.awt.Dimension;
  5. import java.awt.Point;
  6. import java.awt.Rectangle;
  7. import java.awt.Window;
  8. import java.awt.datatransfer.Clipboard;
  9.  
  10. public class Screen {
  11.    protected static final int BOTTOM_GAP = 2;
  12.    protected static final int TOP_GAP;
  13.    protected static final int ERROR_WIDTH;
  14.    protected static final int DOC_TOP;
  15.    protected static final int DOC_LEFT;
  16.    protected static final int DOC_WIDTH;
  17.    protected static final int DOC_HEIGHT;
  18.    protected static final int HELP_WIDTH = 600;
  19.    protected static final int DOC_OFFSET = 16;
  20.    static Point screenTopLeft;
  21.    static Dimension screenSize;
  22.    static final Clipboard privateClip = new Clipboard("Desktop Clipboard");
  23.  
  24.    public static Clipboard getClip() {
  25.       return privateClip;
  26.    }
  27.  
  28.    public static void centerInScreen(Window var0) {
  29.       Dimension var1 = getScreenSize();
  30.       int var2 = var1.width - ((Component)var0).getSize().width;
  31.       int var3 = var1.height - ((Component)var0).getSize().height;
  32.       ((Component)var0).setLocation(DOC_LEFT + var2 / 2, DOC_TOP + var3 / 2);
  33.    }
  34.  
  35.    public static Point getScreenTopLeft() {
  36.       return screenTopLeft;
  37.    }
  38.  
  39.    public static Dimension getScreenSize() {
  40.       return screenSize;
  41.    }
  42.  
  43.    static {
  44.       Rectangle var0 = new Rectangle();
  45.       Platform.getWorkArea(var0);
  46.       screenSize = new Dimension();
  47.       screenSize.width = var0.width;
  48.       screenSize.height = var0.height;
  49.       screenTopLeft = new Point();
  50.       screenTopLeft.x = var0.x;
  51.       screenTopLeft.y = var0.y;
  52.       TOP_GAP = 2 + var0.y;
  53.       DOC_TOP = TOP_GAP;
  54.       DOC_LEFT = var0.x + 2;
  55.       if (screenSize.width >= 1024) {
  56.          DOC_WIDTH = 900;
  57.       } else if (screenSize.width >= 800) {
  58.          DOC_WIDTH = 676;
  59.       } else {
  60.          DOC_WIDTH = 516;
  61.       }
  62.  
  63.       ERROR_WIDTH = (int)((double)DOC_WIDTH * (double)0.75F);
  64.       DOC_HEIGHT = screenSize.height - 2;
  65.    }
  66. }
  67.